Journal of Semantics - PDFSEARCH.IO - Document Search Engine

Journal of Semantics
Results: 137

#	Item
71	Journal of Universal Computer Science, vol. 15, no), submitted: , accepted: , appeared: 1/7/09 © J.UCS On the Semantics and Verification of Normative Multi-Agent Systems L˘ Add to Reading List Source URL: www.jucs.org Language: English - Date: 2010-11-24 10:39:58 Logic programming Predicate logic Propositional calculus Clause J Norm Reason Operational semantics Brute fact Software engineering Computing Computer programming
72	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Mechanized semantics for the Clight subset of the C language Sandrine Blazy · Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-07-17 05:14:09 C programming language C++ Procedural programming languages Data types Programming language semantics Sizeof Pointer C++ classes C Software engineering Computing Computer programming
73	Article title: A modal type theory for formalizing trusted communications Reference: JAL252 Journal title: Journal of Applied Logic Corresponding author: Dr. Giuseppe Primiero First author: Dr. Giuseppe Primiero Online p Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-03-03 10:07:20 Modal logic Semantics Model theory Branches of philosophy Epistemic modal logic Common knowledge Kripke semantics Modal operator Trust Logic Mathematical logic Philosophical logic
74	International Journal of Computer Applications (0975 – 8887) Volume 94 – No. 18, May 2014 Accepting Inferred Student Solutions by Tutoring System in an Ill-Defined Domain Hameedullah Kazi Add to Reading List Source URL: research.ijcaonline.org Language: English - Date: 2014-05-20 06:23:59 Linguistics Knowledge Natural language processing WordNet Semantic Web Semantic similarity Cloze test Information retrieval Semantics Computational linguistics Science Knowledge representation
75	Journal of Experimental Social Psychology[removed]–8 Contents lists available at ScienceDirect Journal of Experimental Social Psychology journal homepage: www.elsevier.com/locate/jesp Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2013-12-23 01:23:41 Science Ethology Cognitive science Prototype theory Social psychology Psychology Categorization Behavioural sciences Semantics Behavior
76	Journal of Artificial Intelligence Research[removed]171 Submitted 08/11; published[removed]The CQC Algorithm: Cycling in Graphs to Semantically Enrich and Enhance a Bilingual Dictionary Add to Reading List Source URL: wwwusers.di.uniroma1.it Language: English - Date: 2012-02-01 08:37:31 Mathematics Science Natural language processing Word-sense disambiguation Graph Word sense Algorithm Linguistics Lexical semantics Semantics
77	The VLDB Journal[removed]:421–446 DOI[removed]s00778[removed]REGULAR PAPER Modeling the execution semantics of stream processing engines Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-07-21 12:19:49 Relational model Query languages Mathematical notation Tuple Type theory Relation Extension Extensible Storage Engine Window function Mathematics Data management Computing
78	Journal of Artificial Intelligence Research[removed]498 Submitted 08/08; published[removed]Wikipedia-based Semantic Interpretation for Natural Language Processing Add to Reading List Source URL: jair.org Language: English - Date: 2009-03-30 21:20:51 Information science Semantic similarity Evgeniy Gabrilovich Latent semantic analysis Word-sense disambiguation Semantics Cyc WordNet Wikipedia Computational linguistics Science Linguistics
79	JOURNAL OF COMPUTER AND SYSTEM SCIENCES Add to Reading List Source URL: courses.engr.illinois.edu Language: English - Date: 2013-01-02 17:11:04 Programming language theory Data types Functional programming Type system Polymorphism Denotational semantics Hindley–Milner Type variable Unification Software engineering Type theory Computing
80	Journal of Artificial Intelligence Research[removed]171 Submitted 08/11; published[removed]The CQC Algorithm: Cycling in Graphs to Semantically Enrich and Enhance a Bilingual Dictionary Add to Reading List Source URL: wwwusers.di.uniroma1.it Language: English - Date: 2012-02-01 08:37:31 Mathematics Science Natural language processing Word-sense disambiguation Graph Word sense Algorithm Linguistics Lexical semantics Semantics

UPDATE